19.26/22.25	unsat
