60.02/60.96	unsat
