13.47/16.10	unsat
