17.06/17.22	unsat
