17.75/18.02	unsat
