25.13/25.32	unsat
