60.72/60.84	unsat
