22.96/24.58	unsat
