14.47/17.64	unsat
