25.12/25.24	unsat
