52.61/57.65	unsat
