77.66/77.84	unsat
