19.13/21.25	unsat
