93.95/96.07	unsat
