22.56/23.22	unsat
