22.44/23.67	unsat
