74.06/77.62	unsat
