94.95/96.43	unsat
