75.66/78.31	unsat
