93.90/95.24	unsat
