22.36/24.69	unsat
