21.92/22.05	unsat
