22.04/24.67	unsat
