14.25/14.75	unsat
