17.06/17.10	unsat
