93.45/96.49	unsat
