52.89/55.81	unsat
