57.88/60.87	unsat
