60.03/60.29	unsat
