14.37/17.87	unsat
