77.05/78.87	unsat
