22.91/23.08	unsat
