17.75/17.88	unsat
