93.21/95.77	unsat
