18.15/19.17	unsat
