77.62/77.82	unsat
