13.47/15.69	unsat
