23.13/23.25	unsat
