14.68/15.87	unsat
