23.13/25.25	unsat
