17.06/17.17	unsat
