93.84/96.77	unsat
