21.76/22.69	unsat
