25.10/25.18	unsat
