77.88/78.18	unsat
