17.06/17.12	unsat
