60.68/60.97	unsat
