19.26/22.19	unsat
