14.76/14.87	unsat
