14.47/18.64	unsat
