60.04/60.27	unsat
