19.14/21.25	unsat
