94.02/96.96	unsat
