14.66/15.75	unsat
