17.06/17.19	unsat
