22.19/24.67	unsat
