52.59/52.88	unsat
