17.06/17.20	unsat
