22.54/22.67	unsat
