60.22/60.34	unsat
