25.12/25.40	unsat
