93.94/96.57	unsat
