24.13/25.29	unsat
