78.06/96.31	unsat
