19.08/19.24	unsat
