75.04/78.00	unsat
