22.55/24.88	unsat
