17.75/17.81	unsat
