60.30/60.41	unsat
