21.94/22.08	unsat
