93.45/96.26	unsat
