17.46/18.20	unsat
