17.75/18.24	unsat
