77.37/77.77	unsat
