94.06/96.98	unsat
