22.63/24.85	unsat
