75.67/78.43	unsat
