74.74/77.50	unsat
