14.47/16.10	unsat
