14.19/14.25	unsat
