14.28/14.75	unsat
