21.25/22.67	unsat
