22.05/24.92	unsat
