17.26/18.20	unsat
