22.15/24.85	unsat
