18.08/19.17	unsat
