22.28/23.25	unsat
