22.59/22.67	unsat
