17.75/17.87	unsat
