24.22/26.92	unsat
