backsolvers