22.23/24.67	unsat
