22.15/25.85	unsat
