53.87/57.25	unsat
