74.35/78.01	unsat
