14.75/14.87	unsat
