74.05/77.42	unsat
