13.88/14.25	unsat
