22.81/23.67	unsat
