17.24/18.20	unsat
