77.43/78.28	unsat
