22.15/24.69	unsat
