17.06/17.11	unsat
