11.47/18.69	unsat
