22.58/23.07	unsat
