77.25/77.73	unsat
