24.26/25.17	unsat
