21.92/22.07	unsat
