19.06/19.19	unsat
