77.06/77.73	unsat
