22.24/24.92	unsat
