25.23/25.32	unsat
